1. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67
1994

2. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67
1994

3. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Recursion theory , Fixed point theory

رده :
QA
9
.
6
.
S67
1994

4. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67

5. Diagonalization & self-reference

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67

6. First-order logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، First-order logic

رده :
QA
9
.
S574

7. First-order logic

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
S75

8. First-order logic

پدیدآورنده :

موضوع : ، First-order logic

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

9. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Godel's theorem

رده :
QA
9
.
65
.
S68G6

10. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

11. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع : Godel's theorem

12. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

13. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

14. Les theoremes d'incompletude de Godel

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Godel's theorem

رده :
QA
9
.
65
.
S68G613

15. Recursion theory for metamathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Recursion theory

رده :
QA
9
.
6
.
S68
1993

16. Satan, Cantor, and infinity

پدیدآورنده :

کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)

رده :
QA
95
.
S5
1992

17. Satan, Cantor, and infinity, and other mind-boggling puzzles

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Mathematical recreations,، Godel's theorem

رده :
QA
95
.
S6S2

18. Satan, Cantor, and infinity : and other mind-boggling puzzles

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Mathematical recreations,، Godel's theorem

رده :
QA
95
.
S5
1992

19. Satan, Cantor und die Unendlichkeit und 200 weitere verblüffende Tüfteleien

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Research

20. Set theory and the continuum problem

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Continuum hypothesis

رده :
QA
248
.
S6